Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO
نویسندگان
چکیده
The importance of applying formal methods in the design and development process of Interactive Systems is increasingly recognised. However it is still an open issue the identification of systematic methods able to support designers and developers in specifying and demonstrating properties of user interfaces. TLIM and ICO are two formal methods which have been used for this purpose with interesting results. They address similar concepts but also have different features which allow us to consider useful their integrated use to obtain synergistic and complementary results. In this paper we show their application to some examples in order to discuss similarities and differences and we outline a proposal for their integrated use.
منابع مشابه
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems
In interactive systems, the term rendering applies to any form of communication directed from the application towards the users. The present paper deals with the specification of rendering, and its relationship with the formal specification of the dialogue between application and user. We first present a taxonomy of rendering according to its function in the application. We briefly recall the b...
متن کاملAn integrated Assessment System of Citizen Reaction towards Local Government Social Media Accounts
Agovernmentshouldusesocialmediaforcommunicatingwithitscitizen.Theengagement index score is one of the methods for assessing the rate of governmental success in using social media as a tool in establishing interactive relationships with its citizen. In general, the engagement index score is obtained by calculating the number of posts, number of likes and comments, and so forth on a single social...
متن کاملA tool-supported design framework for safety critical interactive systems
LIIHS-IRIT, University Toulouse 3, 118 route de Narbonne, 31062 Toulouse Cedex 4, France. {navarre, palanque, bastide}@irit.fr Abstract This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO allows for describing, in a formal way, all the components of highly interacti...
متن کاملInteractive Collaborative Optimization – A Multidisciplinary Optimization Method Applied to the Design of Steel Building and Civil Structures
Architecture, Engineering and Construction (AEC) professionals are capable of accurately simulating the behavior of complex steel structures using modern Finite Element Analysis (FEA) software. The time required, however, to model and run such simulations using conventional processes and technologies has limited the potential of FEA to inform early-stage design decisions. Engineers typically co...
متن کاملA Novel Interactive Possibilistic Mixed Integer Nonlinear Model for Cellular Manufacturing Problem under Uncertainty
Elaborating an appropriate cellular manufacturing system (CMS) could solve many structural and operational issues. Thereby, considering some significant factors as worker skill, machine hardness, and product quality levels could assist the companies in current competitive environment. This paper proposes a novel interactive possibilistic mixed integer nonlinear approach to minimize the total co...
متن کامل